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