Playing with PyContracts - seems a good advance but can incur a _huge_ performance hit and only seems to work on a function-by-function check-at-runtime basis - no dataflow analysis so doesn't (can't?) shove some of the checking to compile time.