Added some corner cases to the tests in the verification documentation
Authored by: j-lamm 2019-10-25
Parent: [r217]
Child: [r219]