OK, I figured it out. Nowhere in the docs did it say anything about needing to include the class. I figured it worked similarly to $wpdb which doesn’t need to be included. When I added the following to my code, it started working.
include_once plugin_dir_path(__FILE__)."../wp-session-manager/wp-session-manager.php";
