908ea733 — james verified 25 days ago

feat(core): initialise tso checking and fence synthesis