Verifying Hardware Security Modules With True Random Number Generators