pXXX: Replace all `main` with `problem!` macro
.taravis.yml: silencify all builds and cargo only runs release build