Final step for Release 1.2.
Removed unused imports.
Initial check-in; test cases for QuickCheck backend