notes.txt: Add link to Z3 model_compress bug.