aesop, whitespace in tests

Stream: nightly-testing

[Kim Morrison]

@Jannis Limperg, you'll see in https://github.com/leanprover-community/aesop/pull/253 that I've just the whitespace in many #guard_msgs in tests. In all of these tests, the "try this" suggestion is actually making a correctly indented replacement, it just looks wrong in the #guard_msgs output.

Would you like to do anything about this?

I guess we could use #guard_msgs (whitespace := lax) in if you want the messages to look better ...?