fixed bug in List reversal and added benchmarks