Check the test coverage

[katat]

• Do some test coverage checks on the constraint
• Each frontend constraint functions in bool/field/builtin should be covered
• A test should check the asm (this serves like a snapshot for reviewing changes)
• A test should pass the constraint check in witness generation (atm, this is done by generating proof)

[katat]

relevant: https://github.com/zksecurity/noname/issues/47