Changes to Lazy Search and profiling#1

Open

connoralittle wants to merge 3 commits intoQuMuLab:mainfrom

connoralittle:main

Commits on Aug 26, 2025

porting changes to add profiling support, and improve lazy search
connoralittle
committed
porting changes to add profiling support, and improve lazy search
connoralittle
committed
porting changes to add profiling support, and improve lazy search
connoralittle
committed