idris: improve testing style.

I.e., incorporate suggestions from https://github.com/Homebrew/homebrew/pull/33912#discussion_r19846734.