Gravar-mail: A computational framework for a Lyapunov-enabled analysis of biochemical reaction networks