Resharper settings file cleanup; fixed incorrect output folder of modelchecking test project in release configuration