perf(optimiser): fold neutral arithmetic and bitwise operations

feat(model): prove optimiser idempotence and scope weakening

feat(compiler): add verified pixel compiler and templeos runner