Right, that is always an option, but 1) you do no troubleshooting with a format, 2) you end up with no FileVault active and 3) you lost data. Might work for you but certainly not for me and perhaps not for everybody.
Troubleshooting files have been attached to this post.
Thank you.