Only rotate the queue if a new node has been created

Fixes a bug where some nodes would never be realized
Use node name when generating graphs
Don't split blocks at intrinsics
Don't invert condition variables when comparing pointers

Makes it easier to debug the SMT code