proved kernelc list reverse
proved kernelc sum_recursive
forgot to include .out files
Merge pull request #864 from yilongli/prove-more-kernelc-list-examples

prove more kernelc list examples