testing: updated nat-pluto-0[23]
change lots of whitespace back to tabs
testing: updated algo-pluto-03
testing: updated large chunk of test case output
testing: re-sanitize.sh gives pass/fail output
Merge branch 'master' into github_master