Filevault Stuck Optimizing
Well, how about that.

A few minutes after posting this question, it started making progress again. It zipped straight from 87% to 99% in a few minutes, and now it's done.

Apparently the answer is just "wait more hours."