[fixf]

There's multiple bounds. The mounting evidence for BPP=BQP unfortunately falls aside P=BPP for evidence without proof. The weak interpretation is that BQP is vulnerable, and the strong interpretation is that BQP is broken. It's in the air, but for certain applications people can't afford to guess wrong. It's reasonable to remove it as a dependency in those fields.