New RethrowAbortExceptionRule flags the common presenter bug where a broad
catch (\Throwable)/catch (\Exception) swallows an AbortException thrown by
redirect()/forward()/terminate(), silently breaking the redirect. It fires
only when the try block can actually throw AbortException (detected via
method getThrowType()) and the first matching catch does not rethrow.
Carving out a catch (AbortException) { throw; } before the broad catch
silences it. Enabled by default.

Added 9 strict analysis parameters to extension.neon to enforce stricter
type checking in Nette libraries: callable signatures, function/class name
casing, nullable types in signatures and PHPDocs, redundant conditions,
and @var tag validation.

New InjectPropertyExtension (ReadWritePropertiesExtension) marks properties
annotated with #[Nette\DI\Attributes\Inject] as always-written and
initialized, since Nette DI assigns them after instantiation. Only the
attribute form is recognized, not the legacy @inject phpDoc.

Also teaches TypeAssert::assertNoErrors() to pass the analysed file into
analysedPaths (like assertTypes already does), so classes defined in the
test file are in reflection scope.

Expect::type() declares Type (Type|AnyOf since schema 2.0), while the element
it returns depends on the expression: 'int' is a NumberType with min() and
max(), 'int|string' an AnyOf. The extension resolves a constant expression by
asking Expect::type() itself, so it needs no knowledge of the expression
language and its answer follows whatever the installed nette/schema builds; a
non-constant expression, or one the installed version refuses, keeps the
declared type.

New StringsReplaceClosureTypeExtension derives the exact capture-group
shape of the $matches argument of a Strings::replace() callback from the
constant pattern, via RegexArrayShapeMatcher. Falls back to no inference
for non-constant patterns/flags. NativeParameterReflection is internal
phpstan API, so phpstanApi.constructor is ignored for this file.