Remove obsolete file in recursive verifier

[Al-Kindi-0]

Not sure what is the use of this file. Unless I am missing something, it shouldn't be there.

[bobbinth]

I think this file just re-exports the verify procedure so that we could say something like:

use.std::crypto::stark

begin
    exec.stark::verify
end

Instead of:

use.std::crypto::stark::verifier

begin
    exec.verifier::verify
end

[Al-Kindi-0]

I see, should we just keep it then?

[bobbinth]

I'd keep it.