Check laziness of Coercion in the Reduction type

The Coercion stored in a Reduction is lazy in order to work with Derived constraints. However, once !5899 (closed) lands, Derived constraints will be a part of history. We should then check to see if making this coercion strict would yield a performance improvement.