`copilot-theorem`: Bump version bounds on `what4`. Refs #611.#609

jkachmar wants to merge 1 commit intoCopilot-Language:masterCopilot-Language/copilot:masterfrom

jkachmar:patch-1jkachmar/copilot:patch-1Copy head branch name to clipboard