Add hunit/test-framework-hunit as dependencies

Some tests are not quickcheck properties, so let's add hunit in order
to migrate them to assertions.
Migrate simple tests to HUnit

A few tests do not depend on any input data, so let's migrate them to
assertions.