chore: move test files and recapitalise file names (part 4)

[joneugster]

capitalise test files, move some to a folder.

---

[github-actions]

PR summary cce912738c

Import changes for modified files

No significant changes to the import graph

Import changes for all files

Files	Import difference

---

Declarations diff

No declarations were harmed in the making of this PR! 🐙

You can run this locally as follows

## from your `mathlib4` directory:
git clone https://github.com/leanprover-community/mathlib-ci.git ../mathlib-ci

## summary with just the declaration names:
../mathlib-ci/scripts/pr_summary/declarations_diff.sh <optional_commit>

## more verbose report:
../mathlib-ci/scripts/pr_summary/declarations_diff.sh long <optional_commit>

The doc-module for scripts/pr_summary/declarations_diff.sh in the mathlib-ci repository contains some details about this script.

---

No changes to strong technical debt.

No changes to weak technical debt.

---

note: file MathlibTest/grind/ac.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/AC.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/slow_instances.lean` was renamed to `MathlibTest/SlowInstances.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Polynomial.lean` was renamed to `MathlibTest/Algebra/Polynomial.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/fast_instance.lean` was renamed to `MathlibTest/FastInstance.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/notation3.lean` was renamed to `MathlibTest/Util/Notation3.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/fail_if_no_progress.lean` was renamed to `MathlibTest/FailIfNoProgress.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/DFinsuppMultiLinear.lean` was renamed to `MathlibTest/Data/DFinsupp/DFinsuppMultiLinear.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/ring.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Ring.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instance_diamonds/FieldTheory/SplittingField/Construction.lean` was renamed to `MathlibTest/InstanceDiamonds/FieldTheory/SplittingField/Construction.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instance_diamonds/normed.lean` was renamed to `MathlibTest/InstanceDiamonds/Normed.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/right_actions.lean` was renamed to `MathlibTest/RightActions.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instances/Ring_finiteness.lean` was renamed to `MathlibTest/instances/RingFiniteness.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/dfinsupp_notation.lean` was renamed to `MathlibTest/Data/DFinsupp/Notation.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/grobner.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Grobner.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/natCast_instance.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/NatCastInstance.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/set_like.lean` was renamed to `MathlibTest/SetLike.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/simp_confluence.lean` was renamed to `MathlibTest/SimpConfluence.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/field.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Field.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/slim_check.lean` was renamed to `MathlibTest/SlimCheck.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/import_all.lean` was renamed to `MathlibTest/ImportAll.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/CountHeartbeats.lean` was renamed to `MathlibTest/Util/CountHeartbeats.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/deriving_countable_module.lean` was renamed to `MathlibTest/DeriveCountableModule.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/CalcQuestionMark.lean` was renamed to `MathlibTest/Tactic/Widget/CalcQuestionMark.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/jacobiSym.lean` was renamed to `MathlibTest/JacobiSymbol.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/Real.lean` was renamed to `MathlibTest/Data/Real.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/aesop_cat.lean` was renamed to `MathlibTest/AesopCat.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/eval_elab.lean` was renamed to `MathlibTest/EvalElab.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/set.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Set.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/slow_simp.lean` was renamed to `MathlibTest/SlowSimp.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/lint.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Lint.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/field_instance.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/FieldInstance.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/rewrites.lean` was renamed to `MathlibTest/Lean/Tactic/Rewrites.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instance_diamonds/FieldTheory/IsAlgClosed/AlgebraicClosure.lean` was renamed to `MathlibTest/InstanceDiamonds/FieldTheory/IsAlgClosed/AlgebraicClosure.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/conv_widget.lean` was renamed to `MathlibTest/Tactic/Widget/Conv.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/norm_cast.lean` was renamed to `MathlibTest/NormCast.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/finset_repr.lean` was renamed to `MathlibTest/FinsetRepr.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/CompileInductive.lean` was renamed to `MathlibTest/Util/CompileInductive.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instance_diamonds/Data/Complex/Module.lean` was renamed to `MathlibTest/InstanceDiamonds/Data/Complex/Module.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/derive_encodable.lean` was renamed to `MathlibTest/DeriveEncodable.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/enat_to_nat.lean` was renamed to `MathlibTest/ENatToNat.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/finsupp_notation.lean` was renamed to `MathlibTest/FinsuppNotation.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instance_diamonds/algebra_rat.lean` was renamed to `MathlibTest/Algebra/Algebra/Rat.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/CommDiag.lean` was renamed to `MathlibTest/Tactic/Widget/CommDiag.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/format_table.lean` was renamed to `MathlibTest/FormatTable.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/finset_builder.lean` was renamed to `MathlibTest/FinsetBuilder.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/zmod.lean` was renamed to `MathlibTest/Data/ZMod.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/pairwise_disjoint.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/PairwiseDisjoint.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/panic.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Panic.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/deriving_countable.lean` was renamed to `MathlibTest/DeriveCountable.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/ordered_ring.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/OrderedRing.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/vec_notation.lean` was renamed to `MathlibTest/Data/Fin/VecNotation.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/register_try_tactic.lean` was renamed to `MathlibTest/RegisterTryTactic.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/cc.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/CC.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/FunLike.lean` was renamed to `MathlibTest/Data/FunLike.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instance_diamonds.lean` was renamed to `MathlibTest/InstanceDiamonds.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instances/CommRing_integralClosure.lean` was renamed to `MathlibTest/instances/CommRingIntegralClosure.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/tactic_timeout.lean` was renamed to `MathlibTest/TacticTimeout.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/trig.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Trig.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/instance_diamonds/Analysis/Normed/Field/WithAbs.lean` was renamed to `MathlibTest/InstanceDiamonds/Analysis/Normed/Field/WithAbs.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!

note: file MathlibTest/grind/linarith.lean` was renamed to `MathlibTest/Lean/Tactic/Grind/Linarith.lean without a module deprecation
Please create a follow-up pull request adding one. Thanks!