1. A computing device-implemented method comprising: presenting a graphical interface, where: the graphical interface facilitates design of a model that includes a plurality of graphical blocks, the model includes at least a first sub-model and a second sub-model constructed from two or more of the plurality of graphical blocks, and presenting the graphical interface is performed by the computing device; receiving an association of blocks that include one or more of the plurality of graphical blocks that differ from the two or more graphical blocks that construct the first sub-model and the second sub-model, where: the association of blocks is received using a verification subsystem associated with a desired behavior of the first sub-model, and the association of blocks includes a subset of the plurality of graphical blocks; performing a first operation, where the first operation: verifies the desired behavior of the first sub-model, is associated with a complexity value or a completeness value, and is performed by the computing device based on the verification subsystem; automatically disabling one or more blocks, of the association of blocks, based on at least one of a complexity or a completeness of the first operation, where automatically disabling the one or more of the association of blocks is performed by the computing device; and performing a second operation to verify that the association of blocks do not affect operation of the first sub-model, where performing the second operation is performed by the computing device.