Added progressive synopsis output. Disabled assertions in makefile.