benchmark

bd0e8d5c - Fix profile options argument: allow disabling selected options

Fix profile options argument: allow disabling selected options Summary: After enabling detailed profiling by default in D49785828, --profile-options becomes unusable because the logic of --no-profile-detailed is all-or-nothing. Fix this by changing --profile-options to --disable-profile-options. Most of the changes are auto formatting. (I marked the logic changes with diff comments below) Reviewed By: davidberard98 Differential Revision: D50524522 fbshipit-source-id: a74624c6f9b0d1619804161f7c132687baf82fd4