Rename  ./verifier-machine script in README.md
Rename  ./verifier-machine script in README.md
dinoboff/verifier,dinoboff/verifier,singpath/verifier,singpath/verifier,dinoboff/verifier,singpath/verifier,dinoboff/verifier,singpath/verifier,singpath/verifier,dinoboff/verifier