use raw writes in quantifier set up instead of checked

These writes should always be safe due to the way in which they are constructed,
and the checked write is a noticeable overhead in large models.