It's not, this test now in test_rsolve_hyper():
assert rsolve_hyper([-a, 1],0,n).expand() == C0*a**n