Gravar-mail: Estimating Attractor Reachability in Asynchronous Logical Models