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.

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.