refactor, add experimental solv_parse_sig and solv_verify_sig