Experimentally adding the PIT mutation coverage

The build process now includes the PIT mutation coverage constraint in
the verify stage of the build.