EffectInstance: add assert()s