Update Redstone.dart benchmark