I have trust issues
Update synthesis suites
Tidy-up RBTree benchmarks