Validate: 1M restriction tests

Context

The goal of this MR is to add more tests that check the 1M restriction and the co-validity properties.

Manually testing the MR

Property-based tests that check the 1M restriction and co-validity properties:

 dune exec src/proto_alpha/lib_protocol/test/integration/validate/test_1m_restriction.exe

We generate 100000 tests for each of the 4 tests locally.

As the helpers have changed, manager operation validity tests has been modified:

dune exec src/proto_alpha/lib_protocol/test/integration/validate/main.exe;