Removed -bf-all-ops

Because tallying all operations is useful and fairly cheap, this is
now always enabled, and the -bf-all-ops command-line option is no
longer necessary.