To anyone having the same problem, read this for peace of mind:
https://www.avsforum.com/forum/149-blu-ray-players/1040061-official-blu-ray-player-audio-setup-thread-all-audio-questions-go-here.html#post15289437
Especially this part:
For these lossless formats to work, the Blu-Ray Player (or AVR) must uncompress the compressed audio file and then output it as PCM which can then be converted from digital to analog. This can be done either in the Blu-Ray Player (if it supports decoding the format) or it can be done in the AVR (if it supports decoding the format). From an engineering perspective there should be no difference in where this decoding is done. If the player decodes the audio and sends it as digital PCM information to the AVR, the data should be identical to what you would get if the player sent bitstream (raw DTS-MA or Dolby True-HD data) to the AVR for decoding.