chore: improved proptest logging

[rix0rrr]

For the Aspect property tests, make some changes to make it easier to see what's going on:

• Instead of just a visit log, keep a log of all actions: adding constructs, adding aspects, and visiting are now all part of the same time sequence with time steps so it's easier to reason about.
• Clearly mark timed steps with t=0, t=1, etc.
• Add the option to configure the number of runs using FAST_CHECK_NUM_RUNS, so we can run a burn-in test to be confident that the tests won't generate any problems during CI builds.
• Rename some variables, improve some printing, make some fields readonly.
• For fear of interference between tests, change when the application is built: it's built as the very last step, so there can't be any sharing of mutable values between tests.

---

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache-2.0 license

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 81.38%. Comparing base (b021efe) to head (444739e).
Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main   #32884   +/-   ##
=======================================
  Coverage   81.38%   81.38%           
=======================================
  Files         222      222           
  Lines       13698    13698           
  Branches     2413     2413           
=======================================
  Hits        11148    11148           
  Misses       2271     2271           
  Partials      279      279           

Flag	Coverage Δ
suite.unit	81.38% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

Components	Coverage Δ
packages/aws-cdk	80.69% <ø> (ø)
packages/aws-cdk-lib/core	82.10% <ø> (ø)

[mergify]

Thank you for contributing! Your pull request will be updated from main and then merged automatically (do not update manually, and be sure to allow changes to be pushed to your fork).

[aws-cdk-automation]

AWS CodeBuild CI Report

• CodeBuild project: AutoBuildv2Project1C6BFA3F-wQm2hXv2jqQv
• Commit ID: 444739e
• Result: SUCCEEDED
• Build Logs (available for 30 days)

Powered by github-codebuild-logs, available on the AWS Serverless Application Repository

[mergify]

Thank you for contributing! Your pull request will be updated from main and then merged automatically (do not update manually, and be sure to allow changes to be pushed to your fork).

[github-actions]

Comments on closed issues and PRs are hard for our team to see.
If you need help, please open a new issue that references this one.