ASAN is reporting an out-of-bounds read error in SearchSpace.cpp:125; examination reveals that we are reading past the end of a std::vector (in this case, c->size.size() is 1, but l.pure_dim is 1)... so this is a real bug.

Unfortunately I have no idea where to even begin debugging this... assigning to @abadams for now to see if he can route it to the right person.

(ASAN isn't necessary to repro this bug, just add something like internal_assert(l.pure_dim < c->size.size()); in the code)

(But if you want to run with asan, just add --preset linux-x64-asan to the cmake and ctest commands)