Covers which attention checks select the efficient formula in
BaseModel.memory_required, including the new flash_attention_enabled()
path, and pins the 7.5x bf16 ratio between the conservative and efficient
estimates so a retune of either formula fails the test and gets updated
consciously.
Dan Sedano