adding some assetion checks, but it does not work
see second assertion of min_v. It should fail.
new file for all assertion checks "assertions.ml"
updated makefile
use make test to compile the "assertions.ml" runnable
chmod 644 *.ml done