Which consensus-layer test verifies that a Byzantine node cannot force honest nodes to accept an invalid block?