Merge ultra_recursive_verifier and ultra_verifier

[lucasxia01]

also includes potential other repeated pieces of code like native and recursive transcript

[lucasxia01]

I no longer think merging recursive and non-recursive is a good idea