Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic (Logical Methods in Computer Science, 2022)