ivory-model-check: can't assume memareas will have their initial value....
sigh, apparently KnownNat doesn't exist in ghc763
add Ivory.Opts.SanityCheck

checks for use of unbound or ill-typed functions/mem-areas.
fix sanity-check