What's new in Spike V5.2-509?

The Spike post-link optimizer has been enhanced with the following significant new optimizations and features in V5.2-509: