add unit cases for libFormula, libSerialization and auto rig