Unfair
Does 'may' on Treasure Trove or Robopocalypse 2057 make the effect optional?
Yes. 'May' gives a choice. Treasure Trove adds an option to keep all drawn cards alongside the normal draw-and-keep-one, and Robopocalypse 2057 lets you decline its reveal, and you may also decline to build the card it finds.