Programs now self verify

This pull request makes all programs return -1 if it has produced the incorrect output.

I've also standardised the indentations and line endings of the benchmarks.