Implements transformations (mutations) to inject faults

[StefanosChaliasos]

To test them out, we will inject many faults, and we'll check how many faults the compiler reports.

[theosotr]

A first functional version of this has been merged into main.