A lightweight digital system for the probabilistic characterization of true random bit generators