[TEST] Add experimental proof for wots_sign using wots_chain function pointer#19

mkannwischer wants to merge 1 commit intomainpq-code-package/slhdsa-c:mainfrom

cbmc-func-pointerpq-code-package/slhdsa-c:cbmc-func-pointerCopy head branch name to clipboard