flush stdout when updating the path constraint

[adrianherrera]

This ensures that if the target program crashes (likely while fuzzing!) then the constraints will still be logged correctly.

[sebastianpoeplau]

Nice, thank you @adrianherrera!