Hardening schema

[hediyi]

• aiming for 100% test coverage
• fuzzing
  1. all primitives
  2. commonly used structures
  3. random functor variations