1. A computing device-implemented method, comprising: presenting a graphical interface, wherein the graphical interface is to facilitate design, by a user, of a model constructed from two or more of a plurality of graphical blocks; receiving, via the graphical interface, an association of a plurality of blocks, from the plurality of graphical blocks, with a verification subsystem associated with a desired behavior of the model; performing, based on the verification subsystem, a first operation to verify the desired behavior of the model; automatically disabling one or more of the plurality of blocks associated with the verification subsystem based on at least one of a complexity or a completeness of the first operation; and performing a second operation to verify that the plurality of blocks in the verification subsystem do not affect operation of the model.