Introduce PropEr testing for cxy_cache