Language: fix ReflectionProperty::isLazy for lazy modifier (#16953)

[PurHur]

Summary

• Place /*phpc-lazy-property*/ marker before the visibility keyword so nikic/php-parser attaches it to Stmt\Property comments (same pattern as asymmetric-visibility markers).
• Recover ZEND_ACC_LAZY at compile time via LazyPropertyRewriter::isLazyFromAttributes() so ClassProperty::$lazy is set and ReflectionProperty::isLazy() matches Zend before/after first read.
• Fix LazyPropertySupport to use VM\TypeCheck (lazy init path was never exercised while the flag stayed false).

Root cause

LazyPropertyRewriter inserted the marker after public, so nikic did not preserve it on the property stmt; propertyLazy stayed false, defaults were copied at construction, and isLazy() always returned false.

php-src reference

• ext/reflection/php_reflection.c — ReflectionProperty::isLazy()
• Zend/zend_compile.c — ZEND_ACC_LAZY

Verification

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && export PHP_COMPILER_PROFILE=8.4 && php bin/vm.php test/repro/maintainer_gap_lazy_property_modifier_parse.php'
# hello
# ok

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && export PHP_COMPILER_PROFILE=8.4 && php bin/vm.php test/compliance/cases/language/lazy_property_modifier.phpt'
# hello
# not-lazy

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && export PHP_COMPILER_PROFILE=8.4 && php vendor/bin/phpunit --filter "LazyPropertyRewriterTest|lazy_property_modifier|reflection_property_is_lazy"'
# OK

Closes #16953

Made with Cursor

[PurHur]

Superseded by #16955 (merged to master) — same root cause and fix. Closing duplicate.