What about readability? Are people going to give up on reading and understanding the code? Maybe the abstractions aren't only necessary for writing the code?

I think the answer to this is yes, it'll be just like "reading and understanding your assembly". We just don't check what instructions your code compiles down to anymore, and I think the same will be for code.