Port checks from `php -l`

[quasilyte]

This is an epic-like (progress tracking) issue for porting checks that are implemented in php -l, but are not included in noverify.

The main benefit is to make it possible to remove php -l from the pipeline and use noverify as a drop-in replacement.