adjust check function to properly deal with the store
adjust let-poly check functions so they count exns as failure,
but only for the bugs that are expected to show up that way