Bugs nominated for verification-testing

There are currently no open bugs.