Separated defs module out from symheap.
Removed "require" and added compile-time mechanism to add/remove
assertions through "noassert" tag. Updated TODO file.
Removed old goto-abduction tests.
Split out Sl_indrule module.
Split out sl_seq module from symheap.
Split out sl_form module.
Split out sl_heap. THAT WAS A PAIN.