Thanks for this workaround, lonelicloud.
In the latest version of WP Super Cache, the line to change is Line 536.
I've made the change and now it seems to clear out ALL of the cache when a post/page is edited, not just the cache for the specific page/post.