How do ASCII replays proof even less? Less than nothing can't make things worse.

I would not mind adding these if it wasn't so heavy on the git repo as it helps debug issues and is also a bit a demonstration of what's going on but I would never call them a proof.