Ask HN: What's stopping us from having full static validation of Python code?