Adjusting the time on DS3231 with encoder, TimeLib.h and DS1307RTC.h

So simple!

I knew I was missing some super obvious solution. It works like a charm, thanks!