[MILESTONE 1] Make minimal viable cycle compile-assign-prove-verify

[BoogerWooger]

• accept user inputs as circuit inputs
• mock game engine
• verify something based in inputs
• demonstrate

[BoogerWooger]

all done except verify