Add flag to allow using bytecode interpreter with optimisation

We want to support the whole language with the byte code interpreter so it will be useful to have a flag which allows you to disable the check which forces -O0.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information