O BitVM pode ser implementado no Bitcoin hoje ou ainda estamos à espera de alguns códigos OP?