FCMP++: consensus verification integration - #11440

This includes all code necessary to verify FCMP++ transactions at consensus. With this PR, all potential inflation vulnerabilities are expected to be protected and prevented, and it can be reviewed with that in mind (a proper review is expected to include a search for inflation vulnerabilities, among any other issues). This PR is the final expected PR from Phase 3 of the FCMP++ integration audit (audit to be completed).

This builds on top of:

• FCMP++: verify FCMP++ proofs tooling #11407
• FCMP++: tree building DB integration #11425

More notes to keep in mind:

• FCMP++ tx weights, dynamic scaling for FCMP++, and block header validation are left for a future PR. This PR strictly concerns FCMP++ tx and proof validation to prevent inflation.
• Tests will be fleshed out further in PR's that include the prover.
• As in FCMP++: tree building DB integration #11425, the actual tree building integration code does not actually execute with a live daemon in this PR since it's commented out. The steps pointed out in FCMP++: tree building DB integration #11425 are still necessary in order to enable it.