add check-after-regeneration (big nocommit, to figure out how we want this to work/plugin from jenkins)