Update synthesis suites
Tidy-up RBTree benchmarks
Remove rules that crash, add interesting benchmark
Display result in context of full function