Note result cleanup
Split verification test
Correct differential property propagation
Sort results in summary script; fix some difference detection reporting issues