mikebell,
I tend to agree with all three of your suggestions! If you want to go ahead and submit compiler issue request (one each) that would help out a lot!
https://github.com/adapteva/epiphany-sdk/issues
(if you don't have time, then I will grab the text out of this post and submit issues...)
Andreas