When building mgmt_core of Caravel, I've had issues where netgenexec seems to get stuck after LVS mismatches have been reported. Keeps vigorously wasting clock cycles for days with the flow not continuing. Are there any known issues, either with the tool in general or that design in particular?