Connecting Seesaw Effective Field Theory to Full Theory via Flavor Invariants