A Formalisation of a Turing-Complete Choreographic Language in Coq