Уже сомнительно, что AES256 предлагает какое-либо практическое преимущество перед AES128. Так что AES512, конечно, излишний.
Bruteforce на AES128 уже невозможен. Таким образом, опасность для AES - криптоанализ. И нет уверенности в том, что AES 256 сильнее криптоанализа, чем AES128.