add Ivory.Opts.SanityCheck

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