Your current choices are good.
For a fixed loop in the middle of a rope, an alpine butterfly is a solid choice. I can think of alternatives, but no really better ones.
For a loop at the end of the rope, a figure eight (assuming a trace eight) is plenty strong even in that configuration, even if it is not optimal for a tight loop around a large object like a boulder. Just don't clip a carabiner to the loop itself though! fig eights can roll. And for the same reason, make sure that the free strand comes out in the same direction as your loaded strand, or the load will try to roll the knot.
i.e like this
___
/###\
|###|
\ /
8
||
|
|
(you)
Not like this
__
|##\ /
|## 8
|##/ \____ (you)
--
Alternatives might be to simply tie a bowline or a clove hitch (with a generous tail) around the load bearing strand. This will make your loop into a noose, which might or might not be a good thing depending on circumstances. It will also make it more obvious that clipping into the loop is not a good idea. (Though there have been tragic accidents where someone has clipped the loop formed by a larksfooted sling)
Anyway I would be more concerned by the boulder itself, whether it was solid enough, it there were sharp edges and so on than by which knot you used.