use proptest to test functions like less_than

[mimoo]

we should generate two field elements a, b with a proptest library (like proptest) and check that the less_than gadget returns the same result as the a < b outside the circuit