verify extern unimplemented in P4light interpreter

[hackedy]

This is causing several STF tests to fail with the following message.

[failure] .verify() not found in extern_funcs