Can BitVM be implemented on Bitcoin today or we still waiting on some OP codes?