The check is currently disabled, as it is not necessary. However, it serves as a sanity check, so we could consider having an additional argument to enable/disable it. Follow up of: https://github.com/input-output-hk/halo2/pull/5#issue-2260863044