Update model checker tests for new PysbAssembler
Update model checker tests for new PysbAssembler

sorgerlab/belpy,pvtodorov/indra,pvtodorov/indra,johnbachman/belpy,pvtodorov/indra,pvtodorov/indra,johnbachman/belpy,bgyori/indra,johnbachman/indra,johnbachman/indra,sorgerlab/belpy,johnbachman/indra,sorgerlab/belpy,sorgerlab/indra,sorgerlab/indra,bgyori/indra,johnbachman/belpy,sorgerlab/indra,bgyori/indra