DoWhile: add an assert

As a sanity check
myrialang: add Store for Datalog, StoreTemp for DoWhile

A little annoying transformation, but fixes a bug with Datalog -> JSON.