Cool totally academic exercise. I shudder at the performance not to mention energy waste.

A better question is what chain to use for efficient ( $/op or watts/op? ) verified Turing complete computation.

Avax?? I really have no idea.