Since this is SQLite SQL, I copied it into a Gist (to give it CORS headers) and now you can open it directly in Datasette Lite (Datasette in WebAssembly running entirely in the browser):
https://lite.datasette.io/?sql=https://gist.github.com/simon...
Here are the 65 hardcoded opcodes: https://lite.datasette.io/?sql=https://gist.github.com/simon...
And the 64 instructions: https://lite.datasette.io/?sql=https://gist.github.com/simon...