BitVM & sCrypt Alpha on Bitcoin Turing Completeness