fuzzer: log_to_code -- handle more trace values
fuzzer: properly print status on end of constrained run

Makes comparing for determinism easier.