[Refactor] Cleanup and unify program rules

[raychu86]

Many new program rules and opcodes have been added in the last few consensus versions. The logic we use to check program validity is becoming unwieldy and should be cleaned up or abstracted.

https://github.com/ProvableHQ/snarkVM/blob/staging/synthesizer/src/vm/verify.rs#L191-L400