Veiled Crocodile has a simple Always trigger.
FAQ says "It can trigger even if a player's hand is empty momentarily during the middle of the resolution of a spell or ability.", which doesn't work in the current version.
Tethered Griffin "10/4/2004: The ability will trigger if you don't control an enchantment, even for a brief moment during the resolution of another spell or ability."
I played
Thassa's Emissary and
Tethered Griffin, then cast
Cloudshift targeting
Thassa's Emissary. This should trigger
Tethered Griffin.
We shouldn't run Always triggers in checkStateEffects.
Progress:
Veiled Crocodile is scripted.
Windfall fires the trigger.
Remaining bugs: Cast the last card in your hand and then roll back it fires the trigger, not sure if we should suppress some trigger in HumanPlaySpellAbility (forge.game.GameAction.changeZone(Zone, Zone, Card, Integer) checks static abilities.)