Update benchmarking & baseline profiles Note: this merge should be a no-op since these changes were already included in commit 0651d9d
0651d9d