Compatibility with C extensions seems to be the most difficult thing for an alternative implementation to achieve. PyPy struggled with this for a long time, and IIRC extension compatibility also caused the failure of Dropbox's Pyston.
Is there really no situation in which an alternative implementation that only supports "pure Python" would be useful?