FYI, folk at MIRI seem to be actively look into this, but, it is indeed pretty expensive and not an obviously good idea.
FYI, folk at MIRI seem to be actively look into this, but, it is indeed pretty expensive and not an obviously good idea.