I agree that Thor was probably just being silly, and it turned badly. I'm less suspicious of Batman than I am Captain America, as I feel like Captain America was antagonizing Thor...but just to the point where people still took more notice of what Batman was saying.