Changes in this patch release:
- Fix wavefront loops which would occasionally create new kernels
8f09760
- Fix source of CUDA segfaults
9aa2d87
- In C++
dr::binary_search could unexpectedly create new kernels b48701e
- Minor changes to support Nvidia v555 drivers
216d921
