Add aggressive caching in graphml witness export

Fixes one existing caching and adds a new one. This can speed up correctness-witness-export by more than 10x.

Fixes #1175 .