1) DEB_BUILD_OPTIONS=nocheck build of php-codecoverage 4.0.0+dfsg-1
2) build of phpunit 5.4.4-1 using above as the dep
3) DEB_BUILD_OPTIONS=nocheck build of phpunit-mock-object 3.2.1-1ubuntu1 (bug # 1590105)
   Corresponding merge has been acked by Robie (except for nit which has been addressed in latest debdiff in bug), should be good to upload.
4) build of php-codecoverage 4.0.0+dfsg-1 using 1), 2) and 3) (so phpunit installs)
5) build of phpunit-mock-object 3.2.1-1ubuntu1 using 2), 3) and 4) (so phpunit installs)
6) 2), 4) and 5) can be copied to proposed