Gene prediction and verification in a compact genome with numerous small introns