Finishes assertions for HCPBugs
Adds tests for formatStringBugs

See #25