Purged unused functions

- Utils are actually verification utils, so they got named properly.
- Also tidied up exports and imports.
- And some coding style things...
Updated documentation
Removed 'impl' directory

This was as unnecessary nesting level, now it is gone.
Also renamed the directory for tests as I love to have
it autocompleting nicely in shell.