we can use trace in our validators (this will close #408 )
the test suite is no longer built entirely (and twice) everytime due to HPL flags
The compilation changes are leading to a lot of new warnings (which should have been present before) which are solved in this PR too (incomplete pattern matching, extraneous imports, etc)
The refines compilation options so that:
The compilation changes are leading to a lot of new warnings (which should have been present before) which are solved in this PR too (incomplete pattern matching, extraneous imports, etc)