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