Re-implement mixColumns, still not working though
Add FIXMEs and TODOs