ErrorLocationTest for Issue 46 (code location audit)

This tests asserts the current error messages (and code locations) for several mutability errors. An audit for each case is provided in inlined comments.

https://github.com/MutabilityDetector/MutabilityDetector/issues/46