Semantic equivalence check

[uohzxela]

• Accept option to turn semantic equivalence check off as it is turned on by default.
• Raise error and abort formatting if there is a violation of semantic equivalence.