updated docs to reflect Mobiroo VERIFY_ONLY_KNOWN option