The main problem with deleting users is that it breaks all of their contributions. Every contribution is made by a user - I don't know if the code could handle that user not existing.