[Verif] Fold disables into Property in LTLToCore

[dobios]

This PR depends on #7104 . LTLToCore now folds the disable signals into their associated properties and yields clocked_assertlike ops instead of sv.assert.

This follows the effort to get rid of sv ops in core representations.