Very cool! Nobody who really wants simplicity and determinism is going to be using Python on a microcontroller though.
IMO JavaCard doesn't really make sense either. There's clearly space for another language here, though I suspect most people would much rather just use Rust than learn a new language.