Como ya te han dicho, tanto con las E-M5 como con las E-M1 puedes verlo rectilíneo en pantalla antes incluso de sacar la foto.
El Olympus Workspace te hace automáticamente la conversión sin importar con qué cámara hayas sacado la foto.
Seguramente cualquier programa de edición decente te dará la opción de hacer el Defishing, en caso de que no quieras pasar por el Olympus WorkSpace.
Yo también me planteé el 8mm y acabé con el Laowa.
Del 8mm hablan maravillas, pero es un objetivo pro, y eso significa que es grande, pesado y caro. Si eso te sirve, o necesitas autofoco, o sellado, entonces sin duda es tu objetivo.
Lo del defishing en el ordenador lo hice una temporada con el Samyang 7.5mm, y aunque los resultados no son malos, es súper complicado saber qué cantidad de foto vas a perder cuando la estás haciendo, y era normal perder partes de la foto al convertirla a rectilínea que me gustaría que se conservasen.