The dynamic offset needs to be subtracted from the "effective buffer binding size" in the "Validate encoder bind groups" validation function.
We do something similar in the "bound buffer ranges" section (used by the aliasing validation).
Found while looking at gfx-rs/wgpu#6093.