Automatic Parallelization and Optimization of Programs by Proof Rewriting