Release 1.2.5: Prepare for Spring Support

New and Enhanced Features

• Added @BeforeExample as an alias of @BeforeProperty

• Added @AfterExample as an alias of @AfterProperty

• Lifecycle methods annotated with @BeforeTry, @AfterTry, @BeforeProperty,
  @AfterProperty, @BeforeContainer and @AfterContainer can now have
  parameters that will be resolved using registered ResolveParameterHook instances.

• Added ActionSequence.withInvariant(String label, Invariant<M> invariant);.

• Added ActionSequence.peek(Consumer<M> modelPeeker).

• Arbitraries.sequences(Arbitrary<? extends Action<M>> actionArbitrary) does now accept
  covariant subtypes and still returns type Arbitrary<Action<M>>.

• Reporting text on failed statistics coverage check improved.

• Upgrade to JUnit Platform 1.6.1

Breaking Changes

• Some fundamental changes to Lifecycle Hooks API in order to support a
  jqwik Spring extension

Bug Fixes

• Labelled statistics reports should now reliably being reported
  in order of first usage.