making --verify the default; use --lax for lax type checking; fixed makefile bugs