charm: add tests for verifyOptions