I'm not. Python and JS are scripting languages. And in this case, we want something that models formal logic. We are hammering in a nail, you picked up a screwdriver and I am telling you to use a claw hammer.
So is Brainfuck.
Turing equivalence does not imply that languages are equally useful choices for any particular application.