~james/reorder

reorder/toolchain.json -rw-r--r-- 579 bytes
feat(core): initialise tso checking and fence synthesis