A Sound Algorithm for Asynchronous Session Subtyping and its Implementation (Logical Methods in Computer Science, 2021)