[LTL] Add support for new sequence and property ops (#4120)

Add support for `until`, `intersect`, `repeat`, `non_consecutive_repeat`, and `goto_repeat` property operations from SVA.