Anfonwch hwn fel neges destun: Software Verification for Weak Memory via Program Transformation