SIG0 misc - doc, bounds checking, refactor tests

* expand documentation a little and tweak comments
* add bounds checking in Verify()
* refactor tests