* Add a few more toy dynamic examples

* Enable constant folding for Reverse; enable reverse_shape test

* Add constant folding for Product, and enable two more tests