Text this: Are Teachers Amenable to Increasing Students' Scope of Work in Doing Proofs? Estimating Teachers' Decision-Making Using a Diagnostic Classification Model