model: Add invariants, history variables; various fixes and tweaks
model: Add invariants, history variables; various fixes and tweaks

One bugfix to call out: OrderedSet for log types isn't good because it squashes
duplicates. Introduced Vector (and MultiSet) types in compiler, using those in
raft.model now.

ongardie/runway-model-raft