> perhaps does not provide full proof/correctness/contract support but does come with testing right out of the box, either in its implementation or philosophy?

Python has doctests.

Not sure if thats what you mean?