Made trace more eager + made it flush its buffer

We can now run the mutant experiments again.

They print way too much, but they seem to work well.