remove unused unQR
remove unused Options code

Is that it? It it finally HawkSpec everywhere?
fix: tests were using the user's prelude

instead of the hardcoded default prelude which the tests expect.
remove unused test helpers
drop the old Option modules