[CMake] The bug in mono that causes the ``gacutil`` utility to crash if the assembly was compiled with ``/platform:x64`` has now been reported so update the comments to reflect this.
[CMake] The bug in mono that causes the ``gacutil`` utility to crash if
the assembly was compiled with ``/platform:x64`` has now been reported
so update the comments to reflect this.

seahorn/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,seahorn/z3,seahorn/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,kyledewey/z3