Define circuit layers/levels, akin to @amit0365's work in https://github.com/Consensys/gnark/pull/1248. This will improve verifier constraint numbers in Poseidon2.
