A Verifiable Imputation Analysis for Univariate Time Series and Enabling Package