fix the acid-state Manifest
Bump hashtables to 1.1.2.0
Bump doctest to 0.9.9
Add test-framework-smallcheck
Bump lens to 3.9.2