XMSS signature tests were disabled in https://github.com/grandinetech/lean/commit/9380ef1d7095766a18bec06534dc0ddf3e86d01b, as they don't work on CI. These tests need to be fixed & enabled back.