Expose Prove-then-verify flow for UltraHonk through bb.js

[lucasxia01]

Add the prove, verify, write_vk functions for UltraHonk for c_bind.cpp, index.ts, main.ts to create the prove-then-verify flow through bb.js.