feat(compiler): prove exact peak stack demand

perf(optimiser): collapse conditionals with identical branches

perf(optimiser): eliminate absorbing arithmetic and bitwise expressions

perf(optimiser): fold neutral arithmetic and bitwise operations

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