Vicarious Surgical officially shutting down | Virexa