fix(cli): reject invalid delays and surplus inputs

feat(core): initialise tso checking and fence synthesis