Why JavaScript is the Worst Choice for Web3 Applications