Text this: A Sound Algorithm for Asynchronous Session Subtyping and its Implementation