I never figured out what was happening here, but I turned off zip verification and flashed B4 anyway. All seems fine; perhaps the file wasn't actually signed?
Another, probably trivial question: in the screenshots in the OP of this thread, the highlights in the settings app are red; mine are...