pub fn next_state_checked(
prev_state: &ProtocolState,
prev_state_hash: Fp,
transition: &SnarkTransition,
supply_increase: CheckedSigned<Fp, CheckedAmount<Fp>>,
prover_state: &ConsensusStakeProofStableV2,
w: &mut Witness<Fp>,
) -> Result<(Boolean, CheckedConsensusState)>