PHP 8.0 compatibility for Devel 7.x-1.x

https://www.drupal.org/project/devel/issues/3208027

There are PHP 8.0 compatibility problems in the Devel module for D7. Not having these bugs fixed is holding back other contributed modules.