Run fewer proptest cases to improve ci time - #1908

Run fewer proptest cases to improve ci time#1908

ludfjig merged 1 commit into

hyperlight-dev:mainhyperlight-dev/hyperlight:mainfrom

ludfjig:proptest_lessludfjig/hyperlight:proptest_lessCopy head branch name to clipboard