parameters: update Johnson bound with new results from eprint 2025/2055#401

tcoratger wants to merge 2 commits intomaintcoratger/whir-p3:mainfrom

johnson-bound-newtcoratger/whir-p3:johnson-bound-newCopy head branch name to clipboard