Merge "[veridex] Detect reflection uses." into pi-dev