Booster-frame validations

The larger checks are split into blocks of 128 masks to bound kernel memory. Each block is evaluated directly by the kernel.

theorem HypergraphLowerBound.boosters_valid (spec : FrameSpec) : spec ∈ boosters → spec.IsValid