But when the Saxons "discovered" Avebury it wouldn't have been walled in any way surely?

It would, however, very obviously have been a product of the/a previous culture.

What is the a actual source for this early name of Avebury?