what are these guarantees you refer to? most pass a battery of tests e.g., diehard:
http://www.stat.fsu.edu/pub/diehard/
but if you give a PRNG x bits of entropy, then it can produce at most x bits of entropy over its entire output.
all PRNGs have cycles: that is, they'll produce random numbers x[1], x[2], ... , x[n], then random number x[n+1] = x[1], x[n+2] = x[2], .... often n isn't as big as you'd like, and sometimes there are correlations among x[i] and x[i+k] you really don't want (linear congruent generators have this problem).